JACSPolicy on Manuscript Processing

Archival and Manuscript Processing Mauals: An Interinstitutional Comparison

Manuscript Information Sheet Title: Dynamical Models of Sentence Processing

Real-time Image Processing Manuscript No. Cascaded Online Boosting

In this paper, we propose a cascaded version of the online boosting algorithm to speed-up the execution time and guarantee real-time performance even when employing a large number of classifiers. This is the case for target tracking purposes in computer vision applications. We thus revise the on-line boosting framework by building on-the-fly a cascade of classifiers dynamically for each new fra...

On the Protocol Composition Logic PCL Manuscript

A recent development in formal security protocol analysis is the Protocol Composition Logic (PCL), proposed by Datta, Derek, Mitchell, Pavlovic and Roy in [DDMP05,DDMR07]. We identify a number of unresolved problems with the current version of the logic, as well as problems with extensions of the logic as found in e.g. [HSD05]. The identified problems imply strong restrictions on the scope of c...

Reflections on Two Years of Manuscript Reviewing

417 College & Research Libraries receives a large number of manuscripts each year that have kept the two of us busy, as editorial assistants, with many of the initial reviews of submission for the journal during the last two years. In 2011 alone C&RL received 134 submissions, of which only 46 were finally selected for publication. This acceptance rate demonstrates the rigor of our review proces...